1. CONCUR 2000 : concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
پدیدآورنده : Catuscia Palamidessi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1877
2. Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
پدیدآورنده : Catuscia Palamidessi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2916
3. Logic programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003: proceedings
پدیدآورنده : Catuscia palamidessi, ]ed.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
63
.
I55
2003
4. Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the ]7th[ International Conference, ALP'98, Pisa, Italy, September 1998 : proceedings
پدیدآورنده : Catuscia Palamidessi, Hugh Glaser, Karl Meinke )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1490
